| 1. | The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。 |
| 2. | This is not expressible as a first - order predicate calculus property
这就是一个一阶谓词演算不可表述的属性。 |
| 3. | Also , first - order predicate calculus isn ' t good enough anyway
同时，从各方面来说，一阶谓词演算都不是足够好。 |
| 4. | This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 |
| 5. | This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 |
| 6. | Informally , xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
Xquery被非正式地设计为可以构造xml文档，而这些xml文档是通过对输入的xml文档进行一阶谓词演算得出的。 |
| 7. | The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。 |
| 8. | So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。 |
| 9. | This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。 |
| 10. | This has led some people who design the specification mechanisms for programming languages , or in the case of uml , for modeling languages , to include facilities from first - order predicate calculus as a language extension
这就促使一些人在编程语言的描述机制和建模语言（如统一建模语言， uml ）的处理机制中加进了部分一阶谓词演算的东西，作为一种功能扩展。 |
